In their recent paper Bi-facial truth: a case for generalized truth values Zaitsev and Shramko [7] distinguish between an ontological and an epistemic interpretation of classical truth values. By taking the Cartesian product of the two disjoint sets of values thus obtained, they arrive at four generalized truth values and consider two “semi-classical negations” on them. The resulting semantics is used to define three novel logics which are closely related to Belnap’s well-known four valued logic. A syntactic characterization of these (...) logics is left for further work. In this paper, based on our previous work on a functionally complete extension of Belnap’s logic, we present a sound and complete tableau calculus for these logics. It crucially exploits the Cartesian nature of the four values, which is reflected in the fact that each proof consists of two tableaux. The bi-facial notion of truth of Z&S is thus augmented with a bi-facial notion of proof. We also provide translations between the logics for semi-classical negation and classical logic and show that an argument is valid in a logic for semi-classical negation just in case its translation is valid in classical logic. (shrink)

Communities often unite during a crisis, though some cope by ascribing blame or stigmas to those who might be linked to distressing life events. In a preregistered two-wave survey, we evaluated the dehumanization of Asians and Asian Americans during the COVID-19 pandemic. Our first wave revealed dehumanization was prevalent, between 6.1% and 39% of our sample depending on measurement. Compared to non-dehumanizers, people who dehumanized also perceived the virus as less risky to human health and caused less severe consequences for (...) infected people. They were more likely to be ideologically Conservative and believe in conspiracy theories about the virus. We largely replicated the results 1 month later in our second wave. Together, many Americans dehumanize Asians and Asian Americans during the COVID-19 pandemic with related perceptions that the virus is less problematic. Implications and applications for dehumanization theory are discussed. (shrink)

The Philosophy of Freedom describes Rudolf Steiner's path to freedom. It contains the nonconformist ideals of his youth that result from his study of mathematics, science, and philosophy culminating in a philosophy of life founded upon individualistic truth and ethical individualism. This is the first English translation and the only one sanctioned by Rudolf Steiner himself. Joint translators Prof. and Mrs. R. F. Alfred Hoernlé were selected for their outstanding qualifications. First published in 1916, it is based on (...) the original 1894 German "Die Philosophie der Freiheit". Other translations have been based on the 1918 revised German edition and renamed "The Philosophy Of Spiritual Activity" and "Intuitive Thinking As A Spiritual Path". This original edition includes inspiring passages about individualism that were removed from the book in 1918 and are missing in later translations: "We no longer believe that there is a norm to which we must all strive to conform." "If only we probe deep enough into the very heart of our being, there dwells something noble, something worthy of development." Learn all about Rudolf Steiner's The Philosophy Of Freedom at https: //philosophyoffreedom.com/. (shrink)

In _Animals and the Limits of Postmodernism_, Gary Steiner illuminates postmodernism's inability to produce viable ethical and political principles. Ethics requires notions of self, agency, and value that are not available to postmodernists. Thus, much of what is published under the rubric of postmodernist theory lacks a proper basis for a systematic engagement with ethics. Steiner demonstrates this through a provocative critique of postmodernist approaches to the moral status of animals, set against the background of a broader indictment (...) of postmodernism's failure to establish clear principles for action. He revisits the ideas of Derrida, Foucault, Nietzsche, and Heidegger, together with recent work by their American interpreters, and shows that the basic terms of postmodern thought are incompatible with definitive claims about the moral status of animals--as well as humans. Steiner also identifies the failures of liberal humanist thought in regards to this same moral dilemma, and he encourages a rethinking of humanist ideas in a way that avoids the anthropocentric limitations of traditional humanist thought. Drawing on the achievements of the Stoics and Kant, he builds on his earlier ideas of cosmic holism and non-anthropocentric cosmopolitanism to arrive at a more concrete foundation for animal rights. (shrink)

An anthology of writings by and about Rudolf Steiner qua economist that documents his search for a deeper understanding of modern economic life. This book throws light on many of the problems that face us today, problems that we cannot solve unless we take hold of the economic life in a conscious, human way and resist the temptation to defer to market forces alone. Though well-known as a seer, the idea of Rudolf Steiner as an economist may seem (...) surprising. Seers do not usually have much concrete to say about economic life, beyond laments about its evils and injunctions that it be guided by some moral dimension. Rudolf Steiner, however, gave many lectures and wrote many articles about modern economic life, which he saw as the arena in which humanity has to find a new relationship to the spirituality that formerly came from above or outside -- from churches and external principles. Today the human being has to find morality within, which one cannot fully do unless one takes hold of the economic realm in a conscious, human way. Whether through concrete references to the meaning and working of money, or in attempting to give a fuller understanding of work or of the significance of market economics in our time, Steiner shows himself to be well versed in the subject. This publication presents a selection of his articles in a context of essays by Christopher Houghton Budd. (shrink)

A basic model of hierarchical structure, expressed by simple, linear differential equations, shows that the pattern of population growth is essentially determined by conditions of redundancy in the sub-structure of individuals. There does not exist any possible combination between growth rate and accident rate that could balance population numbers and/or the level of redundancy within the population; all possible combinations either lead to extinction or to positive population growth with a decline of the fraction of individuals with redundant substructure. Declining (...) populations, however, can be held fluctuating between certain limits by periodic phases of sub-unit repair. These results are particularly pertinent to the population dynamics of diploid (polyploid) organisms. (shrink)

_Heidegger's Hidden Sources_ documents for the first time Heidegger's remarkable debt to East Asian philosophy. In this groundbreaking study, Reinhard May shows conclusively that Martin Heidegger borrowed some of the major ideas of his philosophy - on occasion almost word for word - from German translations of Chinese Daoist and Zen Buddhist classics. The discovery of this astonishing appropriation of non-Western sources will have important consequences for future interpretations of Heidegger's work. Moreover, it shows Heidegger as a pioneer of (...) comparative philosophy and transcultural thinking. (shrink)

_Heidegger's Hidden Sources_ documents for the first time Heidegger's remarkable debt to East Asian philosophy. In this groundbreaking study, Reinhard May shows conclusively that Martin Heidegger borrowed some of the major ideas of his philosophy - on occasion almost word for word - from German translations of Chinese Daoist and Zen Buddhist classics. The discovery of this astonishing appropriation of non-Western sources will have important consequences for future interpretations of Heidegger's work. Moreover, it shows Heidegger as a pioneer of (...) comparative philosophy and transcultural thinking. (shrink)

With characteristic lucidity and style, Steiner makes Heidegger's immensely difficult body of work accessible to the general reader. In a new introduction, Steiner addresses language and philosophy and the rise of Nazism. "It would be hard to imagine a better introduction to the work of philosopher Martin Heidegger."--George Kateb, The New Republic.

Heidegger pertenece a la historia del lenguaje y de la literatura tanto como a la de la ontolog a, de la epistemolog a fenomenol gica o de la est tica (tal vez ...

Numerous studies indicate that observing or knowing about another's action automatically activates the same motor representations that are active when we perform the other's action by ourselves. We investigated how affect influences this mirror mechanism. Based upon findings that positive affect encourages and negative affect impairs spreading activation, we hypothesised that positive affect should increase and negative affect decrease the automatic co-representation of other individuals' actions during jointly performed tasks. Recent research has shown that joint-action effects in a go/no-go variant (...) of the Simon task provide a good index for co-representing another's action. Participants performed such a Simon task together with another person after the induction of neutral, positive, or negative affect. Consistent with our predictions, the joint Simon-like effect was strongest after positive affect induction and absent after negative affect induction. These results represent the first evidence of affect-induced differences in the mirroring of another's action and suggest that affect influences one of our essential abilities for successful social interactions. (shrink)

English summary: The wide-ranging work of Ernst Fraenkel lead to the foundation of postwar political science. In his role as "American in Berlin," Fraenkel helped shape the foundation of modern comparative government theory. Fraenkel's impressive, and in retrospect exemplary, biography, from being a Jewish labor lawyer in the Third Reich to an emigrant to the United States, allowed for him to be described as a commanding figure of the young field of political science of the Adenauer era. Reinhard Dorn (...) illuminates Fraenkel's integrative state and constitutional understanding in two parts. In the first section, he presents foundations and individual components of constitutional-sociological thought, whereby he focuses particular attention on sociological and policy-sociological aspects. The second section documents the performance range of Fraenkel's constitution sociology by comparing Anglo-American and continental European constitutional thinking with its respective constitutional reality, all based on his own interdisciplinary analysis. German text. German description: Die Beschaftigung mit dem breit gefacherten Werk von Ernst Fraenkel fuehrt zu den Grundlagen der Nachkriegs-Politikwissenschaft. In seiner Rolle als Amerikaner in Berlin hat Fraenkel das Fundament der modernen vergleichenden Regierungslehre mitgestaltet. Dabei hat Fraenkels beeindruckende und im Rueckblick exemplarisch wirkende Biographie vom juedischen Arbeitsrechtler und Rechtsanwalt im Dritten Reich ueber den Emigranten in die USA zur Portalfigur der jungen Politikwissenschaft der Adenauer-Ara seine Verfassungsvergleiche erst ermoglicht.In zwei Teilen beleuchtet Reinhard Dorn Fraenkels integratives Staats- und Verfassungsverstandnis: Im ersten Abschnitt stellt er Grundlagen und einzelne Bestandteile seines verfassungssoziologischen Denkens dar, wobei er insbesondere auf soziologische und politiksoziologische Aspekte eingeht. Der zweite Abschnitt dokumentiert die Leistungsbreite von Fraenkels Verfassungssoziologie, indem - ausgehend von dessen eigenen interdisziplinaren Analysen - angloamerikanisches und kontinentaleuropaisches Verfassungsdenken der jeweiligen Verfassungsrealitat gegenuebergestellt wird. (shrink)

This is a concise guide to the educational philosophy of Rudolf Steiner. He pioneered a comprehensive, co-educational form of holistic education for children from kindergarten to the end of high school.

This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.

This volume has 41 chapters written to honor the 100th birthday of Mario Bunge. It celebrates the work of this influential Argentine/Canadian physicist and philosopher. Contributions show the value of Bunge’s science-informed philosophy and his systematic approach to philosophical problems. The chapters explore the exceptionally wide spectrum of Bunge’s contributions to: metaphysics, methodology and philosophy of science, philosophy of mathematics, philosophy of physics, philosophy of psychology, philosophy of social science, philosophy of biology, philosophy of technology, moral philosophy, social and political (...) philosophy, medical philosophy, and education. The contributors include scholars from 16 countries. Bunge combines ontological realism with epistemological fallibilism. He believes that science provides the best and most warranted knowledge of the natural and social world, and that such knowledge is the only sound basis for moral decision making and social and political reform. Bunge argues for the unity of knowledge. In his eyes, science and philosophy constitute a fruitful and necessary partnership. Readers will discover the wisdom of this approach and will gain insight into the utility of cross-disciplinary scholarship. This anthology will appeal to researchers, students, and teachers in philosophy of science, social science, and liberal education programmes. 1. Introduction Section I. An Academic Vocation Section II. Philosophy Section III. Physics and Philosophy of Physics Section IV. Cognitive Science and Philosophy of Mind Section V. Sociology and Social Theory Section VI. Ethics and Political Philosophy Section VII. Biology and Philosophy of Biology Section VIII. Mathematics Section IX. Education Section X. Varia Section XI. Bibliography. (shrink)

This paper developes a relational---as opposed to a functional---theory of types. The theory is based on Hilbert and Bernays' eta operator plus the identity symbol, from which Church's lambda and the other usual operators are then defined. The logic is intended for use in the semantics of natural language.

There is as yet no widely agreed-upon solution to the standard textbook problem whether actively shutting off a life-sustaining medical device, e.g. a respirator, and thus bringing about a patient9s death amounts to active killing or just to an omission of further treatment. Apart from a range of astutely contrived case examples and respective particular solutions proposed in the literature, there seems to be no consensus on the normative principles such solutions should be grounded in, not even on the need (...) for such principles beyond sheer intuition. The present paper attempts to develop a normative approach based on fundamental principles of law. From this perspective, what is decisive for the question of ‘killing or letting die’ in such cases is not that death ensues from a behaviour that is active and relevantly causative, but rather, whether or not the agent in performing the deadly act transgresses the boundaries of the domain of his or her sole normative authority, and thereby intervenes in the protected sphere of another. Unless he or she does so, their behaviour cannot be classified as active commission regardless of the amount of causal activity it may display and regardless of its potentially harmful consequences. This conception is spelled out in detail and tested in a range of case examples, as are several of its corollaries that deviate from standard type solutions. (shrink)

This book introduces a new way for thinking about, creating, and viewing art. Rudolf Steiner saw his task as the renewal of the lost unity of science, the arts, and religion; thus, he created a new, cognitive scientific and religious art in anthroposophy. The implications of his act --recognized by such diverse artists as Wassily Kandinsky and Joseph Beuys --are only now coming fully to light. In his thorough introduction of more than a hundred pages, Michael Howard takes readers (...) through these thought-provoking chapters: Is Art Dead? To Muse or Amuse Artistic Activity As Spiritual Activity The Representative of Humanity Beauty, Creativity, and Metamorphosis New Directions in Art Lectures include: The Aesthetics of Goethe's Worldview The Spiritual Being of Art Buildings Will Speak The Sense Organs and Aesthetic Experience The Two Sources of Art The Building at Dornach The Supersensible Origin of the Arts Truth, Beauty, and Goodness Christ, Ahriman, and Lucifer Plus a bibliography and index. (shrink)

There are two kinds of semantic theories of anaphora. Some, such as Heim’s File Change Semantics, Groenendijk and Stokhof’s Dynamic Predicate Logic, or Muskens’ Compositional DRT (CDRT), seem to require full coindexing of anaphora and their antecedents prior to interpretation. Others, such as Kamp’s Discourse Representation Theory (DRT), do not require this coindexing and seem to have an important advantage here. In this squib I will sketch a procedure that the first group of theories may help themselves to so that (...) they can interleave interpretation and coindexing in DRT’s way. (shrink)

How do creative people think? Do great works of the imagination originate in words or in images? Is there a rational explanation for the sudden appearance of geniuses like Mozart or Einstein? Such questions have fascinated people for centuries; only in recent years, however, has cognitive psychology been able to provide some clues to the mysterious process of creativity. In this revised edition of Notebooks of the Mind, Vera John-Steiner combines imaginative insight with scientific precision to produce a startling (...) account of the human mind working at its highest potential. To approach her subject John-Steiner goes directly to the source, assembling the thoughts of "experienced thinkers"--artists, philosophers, writers, and scientists able to reflect on their own imaginative patterns. More than fifty interviews, along with excerpts from the diaries, letters, and autobiographies of such gifted giants as Leo Tolstoy, Marie Curie, and Diego Rivera, among others, provide illuminating insights into creative activity. We read, for example, of Darwin's preoccupation with the image of nature as a branched tree while working on his concept of evolution. Mozart testifies to the vital influence on his mature art of the wondrous "bag of memories" he retained from childhood. Anais Nin describes her sense of words as oppressive, explaining how imagistic free association freed her as a writer. Adding these personal accounts to laboratory studies of thought process, John-Steiner takes a refreshingly holistic approach to the question of creativity. What emerges is an intriguing demonstration of how specific socio-cultural circumstances interact with certain personality traits to encourage the creative mind. Among the topics examined here are the importance of childhood mentor figures; the lengthy apprenticeship of the talented person; and the development of self- expression through highly individualistic languages, whether in images, movement or inner speech. Now, with a new introduction, this award-winning book provides an uniquely broad-based study of the origins, development and fruits of human inspiration. (shrink)

Sustainable development (SD) – that is, “Development that meets the needs of current generations without compromising the ability of future generations to meet their needs and aspirations” – can be pursued in many different ways. Stakeholder relations management (SRM) is one such way, through which corporations are confronted with economic, social, and environmental stakeholder claims. This paper lays the groundwork for an empirical analysis of the question of how far SD can be achieved through SRM. It describes the so-called SD–SRM (...) perspective as a distinctive research approach and shows how it relates to the wider body of stakeholder theory. Next, the concept of SD is operationalized for the microeconomic level with reference to important documents. Based on the ensuing SD framework, it is shown how SD and SRM relate to each other, and how the two concepts relate to other popular concepts such as Corporate Sustainability and Corporate Social Responsibility. The paper concludes that the significance of societal guiding models such as SD and of management approaches like CSR is strongly dependent on their footing in society. (shrink)

Measurement instruments assessing multiple emotions during epistemic activities are largely lacking. We describe the construction and validation of the Epistemically-Related Emotion Scales, which measure surprise, curiosity, enjoyment, confusion, anxiety, frustration, and boredom occurring during epistemic cognitive activities. The instrument was tested in a multinational study of emotions during learning from conflicting texts. The findings document the reliability, internal validity, and external validity of the instrument. A seven-factor model best fit the data, suggesting that epistemically-related emotions should be conceptualised in terms (...) of discrete emotion categories, and the scales showed metric invariance across the North American and German samples. Furthermore, emotion scores changed over time as a function of conflicting task information and related significantly to perceived task value and use of cognitive and metacognitive learning strategies. (shrink)

In this paper we discuss a new perspective on the syntax-semantics interface. Semantics, in this new set-up, is not ‘read off’ from Logical Forms as in mainstream approaches to generative grammar. Nor is it assigned to syntactic proofs using a Curry-Howard correspondence as in versions of the Lambek Calculus, or read off from f-structures using Linear Logic as in Lexical-Functional Grammar (LFG, Kaplan & Bresnan [9]). All such approaches are based on the idea that syntactic objects (trees, proofs, fstructures) are (...) somehow prior and that semantics must be parasitic on those syntactic objects. We challenge this idea and develop a grammar in which syntax and semantics are treated in a strictly parallel fashion. The grammar will have many ideas in common with the (converging) frameworks of categorial grammar and LFG, but its treatment of the syntax-semantics interface is radically different. Also, although the meaning component of the grammar is a version of Montague semantics and although there are obvious affinities between Montague’s conception of grammar and the work presented here, the grammar is not compositional, in the sense that composition of meaning need not follow surface structure. (shrink)

Volterra's (1926) equations for competition and predator-prey interactions are modified by introduction of root terms. A critical comparison with the original equations shows that the dynamic properties of the systems remain essentially alike, while the modification allows for explicit solution of the differential equations. Detailed solutions and numerical examples are given.

In many of his writings Russell developed a theory of time, highly interesting both from a philosophical and from a logical point of view. Strangely enough, this has not acquired general attention. The most important relational properties of the duration and points of time will be presented. In addition, Russell's considerations on the existence and density of time points will be critically analysed and systematically reconstructed. A. G. Walker's explication of the concept of time point is unlike that of Russell. (...) His theory of time reflects the Dedekindian concept of cut. Walker's constructions will be modified in a suitable way and supplemented so that it becomes possible to prove the continuity of the temporal series. (shrink)

The term “vagueness” describes a property of natural concepts, which normally have fuzzy boundaries, admit borderline cases, and are susceptible to Zeno's sorites paradox. We will discuss the psychology of vagueness, especially experiments investigating the judgment of borderline cases and contradictions. In the theoretical part, we will propose a probabilistic model that describes the quantitative characteristics of the experimental finding and extends Alxatib's and Pelletier's () theoretical analysis. The model is based on a Hopfield network for predicting truth values. Powerful (...) as this classical perspective is, we show that it falls short of providing an adequate coverage of the relevant empirical results. In the final part, we will argue that a substantial modification of the analysis put forward by Alxatib and Pelletier and its probabilistic pendant is needed. The proposed modification replaces the standard notion of probabilities by quantum probabilities. The crucial phenomenon of borderline contradictions can be explained then as a quantum interference phenomenon. (shrink)

Standard approaches to proper names, based on Kripke's views, hold that the semantic values of expressions are (set-theoretic) functions from possible worlds to extensions and that names are rigid designators, i.e.\ that their values are \emph{constant} functions from worlds to entities. The difficulties with these approaches are well-known and in this paper we develop an alternative. Based on earlier work on a higher order logic that is \emph{truly intensional} in the sense that it does not validate the axiom scheme of (...) Extensionality, we develop a simple theory of names in which Kripke's intuitions concerning rigidity are accounted for, but the more unpalatable consequences of standard implementations of his theory are avoided. The logic uses Frege's distinction between sense and reference and while it accepts the rigidity of names it rejects the view that names have direct reference. Names have constant denotations across possible worlds, but the semantic value of a name is not determined by its denotation. (shrink)

Rudolf Steiner developed a comprehensive view of social life which he viewed as being made up of three inter-dependent realms: spiritual-cultural, political and economic. Out of this grew his philosophy known as 'associative economics', which in contrast to our global financial systems, is collaborative and serves the real needs of consumers.This book, a companion to Gary Lamb's Associative Economics, is a comprehensive collection of Rudolf Steiner's statements on economics, compiled from all of his works currently available in English. (...) It will be an indispensable resource for anyone interested in alternative approaches to our current financial crises. (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...) is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

This book radically simplifies Montague Semantics and generalizes the theory by basing it on a partial higher order logic. The resulting theory is a synthesis of Montague Semantics and Situation Semantics. In the late sixties Richard Montague developed the revolutionary idea that we can understand the concept of meaning in ordinary languages much in the same way as we understand the semantics of logical languages. Unfortunately, however, he formalized his idea in an unnecessarily complex way - two outstanding researchers in (...) the field even compared his work to a `Rube Goldberg machine.' Muskens' work does away with such unnecessary complexities, obtains a streamlined version of the theory, shows how partialising the theory automatically provides us with the most central concepts of Situation Semantics, and offers a simple logical treatment of propositional attitude verbs, perception verbs and proper names. (shrink)

In his introductory paper to first-order logic, Jon Barwise writes in the Handbook of Mathematical Logic :[T]he informal notion of provable used in mathematics is made precise by the formal notion provable in first-order logic. Following a sug[g]estion of Martin Davis, we refer to this view as Hilbert’s Thesis.This paper reviews the discussion of Hilbert’s Thesis in the literature. In addition to the question whether it is justifiable to use Hilbert’s name here, the arguments for this thesis are compared with (...) those for Church’s Thesis concerning computability. This leads to the question whether one could provide an analogue for proofs of the concept of partial recursive function. (shrink)

In this programmatic paper we renew the well-known question “What is a proof?”. Starting from the challenge of the mathematical community by computer assisted theorem provers we discuss in the first part how the experiences from examinations of proofs can help to sharpen the question. In the second part we have a look to the new challenge given by “big proofs”.

A short description of a toy theorem prover for 16-valued trilattice logics. Written for the occasion of my friend's Jan van Eijck's retirement. With a link to a swish interface to the prolog prover.